invariant set

不变集